计算机与现代化 ›› 2012, Vol. 1 ›› Issue (11): 55-58.doi: 10.3969/j.issn.1006-2475.2012.11.015

• 软件工程 • 上一篇    下一篇

基于静态检测工具的软件缺陷检测模型研究

周丹丹,李先国   

  1. 西北工业大学计算机学院,陕西 西安 710129
  • 收稿日期:2012-06-29 修回日期:1900-01-01 出版日期:2012-11-10 发布日期:2012-11-10

Research on Software Defect Detection Model Based on Static Detection Tools

ZHOU Dan-dan, LI Xian-guo   

  1. School of Computer Science and Technology, Northwestern Polytechnical University, Xi’an 710129, China
  • Received:2012-06-29 Revised:1900-01-01 Online:2012-11-10 Published:2012-11-10

摘要: 针对如何降低静态检测工具的误报率、漏报率和重报率这些问题,本文研究设计一个基于静态检测工具的软件缺陷检测模型。该模型通过对不同的静态检测工具的检测结果进行多级处理,有效地降低误报率、漏报率和重报率。最后,将两种静态检测工具应用于该模型,对开源软件NMap进行缺陷检测,实验结果表明该模型的有效性和实用性。

关键词: 软件缺陷, 静态检测工具, 重报率, 误报率, 漏报率

Abstract: To cope with the problems about how to reduce the false positives, false negatives and repeated rate, this paper presents a software defect detection model based on static testing tools. This model processes the test results of different static detection tools, and analyzes the final merged result, which effectively reduces the false positives, false negatives and repeated rate. Finally, by using two static detection tools, this model detects an open-source software named “NMap”. The experimental result shows the effectiveness and practicality of this model.

Key words: software defects, static detection tools, repeated rate, false positives, false negatives

中图分类号: